Behavioural contracts with request–response operations
نویسندگان
چکیده
منابع مشابه
Behavioural Contracts with Request-Response Operations
In the context of service-oriented computing, behavioural contracts are abstract descriptions of the message-passing behaviour of services. They can be used to check properties of service compositions such as, for instance, clientservice compliance. Previous formal models for contracts consider unidirectional send and receive operations. In this paper, we present two models for contracts with b...
متن کاملAssembling components with behavioural contracts
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investigate methods and concepts for the provision of “sound” assemblies. We define a behavioural interface type language endowed with a (decidable) set of interface compatibilty and subtyping rules. We define an abstract, dy...
متن کاملVisual Behavioural Modelling with Contracts
This paper presents the Visual Contract Language (VCL). VCL is a new visual language for abstract software specification at level of requirements. It is designed to be visual, formal and modular, and aims at expressing precisely structural and behavioural properties of software systems. VCL takes an approach to behavioral modelling based on design by contract that emphasises modularity.
متن کاملComponent Composition Preserving Behavioural Contracts
This paper investigates the compositional properties of reusable software components defined with explicit dependencies and behavioural contracts expressing rely-guarantee specifications in the form of communication traces. In this setting, connection of components through their matching ports is indeed compositional and yields a new component or composite that respects its constituents’ contra...
متن کاملFoundational Aspects of Service Discovery based on Behavioural Contracts
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behavior of services. In other terms, contracts are behavioural interfaces that can be used, for instance, to check whether a group of services can be safely combined avoiding, e.g., undesired deadlocks. In this paper we consider the problem of discovering available services tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2013
ISSN: 0167-6423
DOI: 10.1016/j.scico.2011.10.007